Abstract Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs
نویسنده
چکیده
Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs
منابع مشابه
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation of the program’s heap. We first describe how an abstract interpretation can be used to construct a finite number of relations which, if each is well-founded, implies termination. We then give an abstract interpretation based on separation logic formulæ which tracks the...
متن کاملThe Effect of Bug Damage on Physicochemical, Electrophoretic and Quality Factors of Wheat Gluten
One of the most important forms of preharvest damage to wheat is caused by sunn pests. The insects insert their mouth parts into the immature grain and while injecting their saliva suck the milky juices. Flour from damaged wheat results in low baking performance due to the bug proteolytic enzymes’ injected which cause the breakdown of gluten structure in the dough. In the present study three wh...
متن کاملPolymorphic Type Analysis in Logic Programs by Abstract Intepretation
interpretation frameworks. It is also fully automated in that its only inputs are theprogram to be analysed and type de nitions for the function symbols in the program.References[1] H. Azzoune. Type inference in Prolog. In E. Lusk and R. Overbeek, editors, Proceedingsof the ninth International Conference on Automated Deduction, pages 258{277, Argonne,Illinois, USA, May 23-26...
متن کاملAssertion-based debugging of imperative programs by abstract interpretation
Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...
متن کاملAssertion-based Debugging of Imperative Programs by Abstract Interpretation
Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005